Normative Systems require Hybrid Knowledge Bases ( Extended Abstract )

نویسندگان

  • Marco Alberti
  • Ana Sofia Gomes
  • Ricardo Gonçalves
  • Matthias Knorr
  • João Leite
  • Martin Slota
چکیده

In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are provided by Hybrid MKNF Knowledge Bases.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Normative Systems require Hybrid Knowledge Bases ( Extended

In this extended abstract we borrow an example from the Portuguese Penal Code to advocate that norms used to regulate interaction in human societies, just as those used in multi-agent systems, require the joint use of the features based on the Closed World Assumption of rules in Logic Programming and those based on the Open World Assumption of ontologies in Description Logics, all of which are ...

متن کامل

Normative Systems Represented as Hybrid Knowledge Bases

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. Logic programming rules intuitively correspond to conditional norms, and their semantics is based on the closed world assumption, which allows default negation, often used in norms. However, there are cases where the closed world assumption is clearly not adequate, and others that require ...

متن کامل

Reasoning on Knowledge in Symbolic Computing

Extended Abstract A novel framework, Formal, for specifying mathematical domains of computation and their inherently related type inference mechanisms as well as for transforming those speciications into knowledge bases is introduced. This framework Tja] aims at designing an environment for reasoning about knowledge in symbolic computing. It involves an algebraic speciication language, a method...

متن کامل

Hybrid Reasoning with Forest Logic Programs

Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality ato...

متن کامل

A Hybrid Object Clustering Strategy for Large Knowledge-Based Systems

Object bases underlying knowledge-based applications tend to be complex and require management. This research aims at improving the performance of object bases underlying a class of large knowledge-based systems that utilize object-oriented technology to engineer the knowledge base. In this paper, a hybrid clustering strategy that beneecially combines semantic clustering and iterative graph-par...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012